361. Methods & applications of mathematical logic:proceedings of the
Author:
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: LOGIC,SYMBOLIC & MATHEMATICAL-CONGRESSES
Classification :
QA
9
.
A1
L37
1985
362. Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
پدیدآورنده :
موضوع : Congresses ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
363. Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983
Author: edited by C. A. Di Prisco
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
Vol
.
1130
364. Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
Author: edited by C.A. Di Prisco
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
1
.
L4
v
.
1130
365. Methods in mathematical logic, proceedings of the 6th Latin American symposium an Mathematical Logic 1-6, 1983
Author: edited by C. A. Diprisco
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
1130
366. [Omega]-Bibliography of Mathematical Logic :
Author: edited by Gert H. Müller, Jane E. Kister, Dirk Dalen, Anne S. Troelstra.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.
367. Omega bibliography of mathematical logic
Author: edited by Gert H. Muller
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Logic, symbolic & mathematical - bibliography
Classification :
Z
6654
.
M26
O47
1987
368. ]Omega[-bibliography of mathematical logic
Author: edited by Gert H. Muller; in coll. with Wolfgan Lenski
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Bibliography ، Logic, Symbolic and mathematical
Classification :
Z
6654
.
M26047
369. Outline of mathematical logic :
Author: Andrzej Grzegorczyk
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA9
.
A537
2013
370. Perspectives on the history of mathematical logic
Author: Thomas Drucker, editor
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: History ، Logic, Symbolic and mathematical
Classification :
QA
9
.
P47
1991
371. Perspectives on the history of mathematical logic /
پدیدآورنده :
موضوع : ، Logic, Symbolic and mathematical-- History
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
372. #Petr Hajek on mathematical fuzzy logic
Author: #Franco, Montagna editor
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: H jek, Petr ،Fuzzy logic ،Logic, Symbolic and mathematical
Classification :
#
QA
،#.
P48
،#
2015
373. Philosophical and Mathematical Logic
Author: /Harrie de Swart
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject:
374. Philosophical and Mathematical Logic /
Author: by Harrie de Swart.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Epistemology.,Mathematical Logic and Formal Languages.,Mathematical Logic and Foundations.
Classification :
BD143-237
375. Philosophical and mathematical logic /
Author: Harrie de Swart.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Computer science.,Genetic epistemology.,Logic, Symbolic and mathematical.
Classification :
BC131
376. Philosophical and mathematical logic /
Author: Harrie de Swart.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Logic, Symbolic and mathematical.,Logic.
Classification :
BC135
.
S93
2018
377. Principles of mathematical logic
Author: Hilbert, David
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical
Classification :
BC
135
.
H514
378. Principles of mathematical logic
Author: Hilbert, David, 2681-3491
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
H55G7813
379. Principles of mathematical logic
Author: / by D. Hilbert and W. Ackermann
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Logic, Symbolic and mathematical
Classification :
BC135
.
H514
